notebook: Replace redraw_tabs() with gadget_queue_draw(tabs_gadget)
authorBenjamin Otte <otte@redhat.com>
Thu, 24 Dec 2015 19:38:24 +0000 (20:38 +0100)
committerBenjamin Otte <otte@redhat.com>
Mon, 11 Jan 2016 16:05:23 +0000 (17:05 +0100)
commita9320d93f69b95a1a507cde080a56fe2b45ceb08
tree55d4667c2ed510dd9b5d49b33e25753cf57b8248
parentf83c1fedbc12b741e10df1f03de11ab8fceba42f
notebook: Replace redraw_tabs() with gadget_queue_draw(tabs_gadget)
gtk/gtknotebook.c